Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
781	Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada Robert Dewar1 , Olivier Hainque2 , Dirk Craeynest3 , and Philippe Waroquiers3 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:53 Software bugs Memory management Data types Uninitialized variable Type theory C Ada Reference Scalar Computing Software engineering Computer programming
782	Using Genetic Programming To Evolve an Algorithm For Factoring Numbers Jenny Rose Finkel Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:07 Data types Operations research Computer arithmetic Floating point Function Mathematical optimization Type system Lisp Control flow Programming language theory Software engineering Computing
783	FL O O R PL A N A N D C A PAC I T Y C H A R T Bell Harbor International Conference Center \| Maritime Event Center \| Smith Cove Cruise Terminal \| World Trade Center Seattle FL O O R PL A N A N D C A PAC I T Y C H A R T Add to Reading List Source URL: www.bellharbor.com Language: English - Date: 2014-01-30 12:20:27 Stack Mathematics Variables Type theory
784	This template contains styles for simple text documents Add to Reading List Source URL: www.ada-europe.org Language: English - Date: 2014-11-17 15:25:58 Cross-platform software Data types Object-oriented programming Polymorphism Type theory Semicolon Subtype polymorphism C Ada Software engineering Computing Computer programming
785	The original English text of an interview with the Russian news organization CNEWS: C++ future Soon we will have a new standard for C++. What is going to change in this programming language? What new features will it ha Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:38 Cross-platform software C++ Procedural programming languages Generic programming Type theory C Programming language Type safety Ada Computing Software engineering Computer programming
786	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart1 , Grégoire Henry2 OUD 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-18 14:53:50 Functional languages Type theory Type systems OCaml Hindley–Milner Software engineering Computing Computer programming
787	Do Values Grow on Trees? Expression Integrity in Functional Programming Guillaume Marceau Kathi Fisler Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2011-06-03 13:00:17 Lisp programming language Functional languages Procedural programming languages Data types Type theory Programming language Lisp DrRacket C Software engineering Computing Computer programming
788	Cornell University 2005 Alumni Survey Add to Reading List Source URL: dpb.cornell.edu Language: English - Date: 2014-12-03 16:40:41 Type O Negative Semiotic information theory
789	How to add a new type of interaction to ESyS-Particle Steffen Abe September 30, 2009 Contents Add to Reading List Source URL: wiki.geocomp.uq.edu.au Language: English - Date: 2013-03-11 00:58:16 International Obfuscated C Code Contest Physics Quantum field theory Classical cipher
790	Partial Dispatch: Optimizing Dynamically-Dispatched Multimethod Calls with Compile-Time Types and Runtime Feedback Jonathan Bachrach Artificial Intelligence Laboratory Massachussetts Institute of Technology Cambridge, MA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2001-12-15 13:36:05 Object-oriented programming Polymorphism Method Type theory Data types Multiple dispatch Dynamic dispatch Generic function Type system Software engineering Computing Computer programming

UPDATE